1881. Rational Drug Design
پدیدآورنده : edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.,Numerical analysis.
1882. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
1883. Real-Time C++ :
پدیدآورنده : Christopher Kormanyos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Microcontrollers.,Microprogramming.,Computer architecture.,Computer science.,Computer system failures.,COMPUTERS-- Programming Languages-- C++.,Computers, Special purpose.,Microprogramming.,Software engineering.
رده :
QA76
.
73
.
C153
K695
2015
1884. Real-resumes for students /
پدیدآورنده : Anne McKinney, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : College graduates-- Employment.,College students-- Employment.,Résumés (Employment),BUSINESS & ECONOMICS-- Careers-- Resumes.,College graduates-- Employment.,College students-- Employment.,Résumés (Employment)
رده :
HF5383
.
R3963
2000eb
1885. Recent Mathematical Methods in Dynamic Programming :
پدیدآورنده : Italo Capuzzo Dolcetta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
1886. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
1887. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
1888. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
1889. Recent advances in mathematical programming
پدیدآورنده : / edited by Robert L. Graves
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
QA264
.
G7
1890. Recent advances mathematical programming
پدیدآورنده : / Edited by Robert L Graves [and] Philip wolfe
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Programming (Mathematics) congresses
رده :
QA
264
.
G7
1891. Recent developments in Markov decision processes
پدیدآورنده : edited by R. Hartley, L.C. Thomas, D.J. White
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Markov processes,، Statistical decision
رده :
QA
274
.
7
.
I57
1978
1892. Recent developments in data science and business analytics :
پدیدآورنده : Madjid Tavana, Srikanta Patnaik, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decision making-- Statistical methods-- Data processing.,Management-- Statistical methods-- Data processing.,Big Data/Analytics.,Business Information Systems.,Operations Research/Decision Theory.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business mathematics & systems.,Operational research.
رده :
HD30
.
215
1893. Recent mathematical methods in dynamic programming : Proceedings of the Conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده : edited by I. Capuzzo Dolcetta, W. H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
Vol
.
1119
1894. Recent mathematical methods in dynamic programming: proceedings of the conference held in Roma, Italy, March 26-28, 1984
پدیدآورنده : edited by I. Capuzzo Doicetta, W.H. Fleming and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
no
.
1119
1895. Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده : edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Dynamic programming,Congresses ، Control theory
رده :
T
57
.
83
.
R4
1984
1896. Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده : edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
1
.
L4
v
.
1119
1897. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
1898. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
1899. Recent trends in optimization theory and applications
پدیدآورنده : editor, R.P. Agarwal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
R44
1995
1900. Reference data for engineers :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
رده :
TK6552
.
F4
2002eb
